(**************************************************************)
 (*   This module was generated by BEG V1.0                    *)
 (*        GMD Forschunsstelle an der Universitaet Karlsruhe   *)
 (*        Haid- und Neu-Strasse 7  7500 Karlsruhe Germany     *)
 (**************************************************************)
DEFINITION MODULE IRCons;

(******* empty insertion IpTypes *******)
(******* empty insertion IpIRCons_d *******)

TYPE       
           Value ;


(******* empty insertion IpIRCons *******)
PROCEDURE  Constant (
                     Atv  :  INTEGER
                     ;  VAR result : Value);
PROCEDURE  Plus (
                        op1  : Value
                     ;  op2  : Value
                     ;  VAR result : Value);
PROCEDURE  Mult (
                        op1  : Value
                     ;  op2  : Value
                     ;  VAR result : Value);
PROCEDURE  Div (
                        op1  : Value
                     ;  op2  : Value
                     ;  VAR result : Value);
PROCEDURE  AddressPlus (
                        op1  : Value
                     ;  op2  : Value
                     ;  VAR result : Value);
PROCEDURE  BlockBase (
                        VAR result : Value);
PROCEDURE  Content (
                        op1  : Value
                     ;  VAR result : Value);
PROCEDURE  Assign (
                        op1  : Value
                     ;  op2  : Value
                                                        );


END IRCons.